منابع مشابه
A Reflexivity Problem concerning The
Let X be a compact Hausdorff space and let H be a separable Hilbert space. We prove that the group of all order automorphisms of the C∗-algebra C(X)⊗ B(H) is algebraically reflexive.
متن کاملA Strange Example concerning Property N P
We exhibit an example of a line bundle M on a smooth complex projective variety Y s.t. M satisfies Property Np for some p, the p-module of a minimal resolution of the ideal of the embedding of Y by M is nonzero and M does not satisfy Property Np. Let M be a very ample line bundle on a smooth complex projective variety Y and let φM : Y → P(H (Y,M)) be the map associated to M . We recall the defi...
متن کاملA counter-example concerning quantifier elimination in quasianalytic structures
This paper provides an example of a quasianalytic structure which, unlike the classical analytic structure, does not admit quantifier elimination in the language of restricted quasianalytic functions augmented by the reciprocal function 1/x. Our construction applies rectilinearization of terms as well as some theorems on power substitution for Denjoy–Carleman classes and on non-extendability of...
متن کاملConcerning the Feasibility of Example-driven Modelling Techniques
We report on a series of experiments concerning the feasibility of example driven modelling. The main aim was to establish experimentally within an academic environment; the relationship between error and task complexity using a) Traditional spreadsheet modelling, b) example driven techniques. We report on the experimental design, sampling, research methods and the tasks set for both control an...
متن کاملReflexivity in English: an STAG analysis
In this paper, we present an STAG analysis of English reflexives. In the spirit of Ryant and Scheffler (2006) and Kallmeyer and Romero (2007), reflexives are represented as a multi-component set in the syntax, with a degenerate auxiliary tree controlling the φ feature agreement between a reflexive and its antecedent. On the semantics side, the reflexive is a valence-reducing λexpression, identi...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Studia Mathematica
سال: 1967
ISSN: 0039-3223,1730-6337
DOI: 10.4064/sm-28-3-289-294